(0 : Bool) : Natural
